Политехнический терминологический толковый словарь. Составление: В. Бутаков, И. Фаградянц. 2014.
математическая машина непрерывного действия — аналоговая вычислительная машина; аналоговая машина; отрасл. моделирующая машина; вычислительная машина непрерывного действия; математическая машина непрерывного действия; дифференциальный анализатор Машина, производящая вычислительные операции… … Политехнический терминологический толковый словарь
Математическая теория доказательств — Теория доказательств (англ. proof theory) раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… … Википедия
аналоговая вычислительная машина — аналоговая вычислительная машина; аналоговая машина; отрасл. моделирующая машина; вычислительная машина непрерывного действия; математическая машина непрерывного действия; дифференциальный анализатор Машина, производящая вычислительные операции… … Политехнический терминологический толковый словарь
аналоговая машина — аналоговая вычислительная машина; аналоговая машина; отрасл. моделирующая машина; вычислительная машина непрерывного действия; математическая машина непрерывного действия; дифференциальный анализатор Машина, производящая вычислительные операции… … Политехнический терминологический толковый словарь
моделирующая машина — аналоговая вычислительная машина; аналоговая машина; отрасл. моделирующая машина; вычислительная машина непрерывного действия; математическая машина непрерывного действия; дифференциальный анализатор Машина, производящая вычислительные операции… … Политехнический терминологический толковый словарь
вычислительная машина непрерывного действия — аналоговая вычислительная машина; аналоговая машина; отрасл. моделирующая машина; вычислительная машина непрерывного действия; математическая машина непрерывного действия; дифференциальный анализатор Машина, производящая вычислительные операции… … Политехнический терминологический толковый словарь
вычислительная машина — вычислительная машина; отрасл. счетная машина; математическая машина Комплекс технических средств, имеющих общее управление, предназначенный для решения математических задач … Политехнический терминологический толковый словарь
счетная машина — вычислительная машина; отрасл. счетная машина; математическая машина Комплекс технических средств, имеющих общее управление, предназначенный для решения математических задач … Политехнический терминологический толковый словарь
Управляющая машина — управляющая вычислительная машина (УВМ), вычислительная машина, включенная в контур управления (См. Управление автоматическое) техническими объектами (процессами, машинами, системами). УВМ принимают и обрабатывают информацию, поступающую… … Большая советская энциклопедия
дифференциальный анализатор — аналоговая вычислительная машина; аналоговая машина; отрасл. моделирующая машина; вычислительная машина непрерывного действия; математическая машина непрерывного действия; дифференциальный анализатор Машина, производящая вычислительные операции… … Политехнический терминологический толковый словарь
